﻿using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;

namespace PSZT
{
    public class Podstawienie
    {
        public Dictionary<string, string> podstawienia 
        { 
            get {
                if (_podstawienia == null)
                {
                    _podstawienia = new Dictionary<string, string>();
                }
                return _podstawienia;
            }

            set {
                _podstawienia = value;
            }
        }

        private Dictionary<string, string> _podstawienia = null;

        //public static Podstawienie stworz(Predykat z, Predykat na)
        //{
        //    Podstawienie result = new Podstawienie();
        //    result.podstawienia = new List<Dictionary<string, string>>();
        //    if (!z.jestUnifikowalnyZ(na))
        //        return null;

            
            
        //}
    }
}
